DEF=arr
EXT=arr
TESTDIR=.
KOMPILE_BACKEND=haskell
export KOMPILE_BACKEND
KOMPILE_FLAGS=--syntax-module ARR

include ../../../include/kframework/ktest.mak
